divide-by[n] ket divide the value in the ket by n, leaving the coefficient unchanged if the ket is not a number, then return the empty ket |>
divide-by[5] |625.5> |125.1>